Constrained Steepest Descent in the 2{Wasserstein Metric

We study several constrained variational problem in the 2–Wasserstein metric for which the set of probability densities satisfying the constraint is not closed. For example, given a probability density F0 on IR and a time–step h > 0, we seek to minimize I(F ) = hS(F ) + W 2 2 (F0, F ) over all of the probability densities F that have the same mean and variance as F0, where S(F ) is the entropy of F . We prove existence of minimizers. We also analyze the induced geometry of the set of densities satisfying the constraint on the variance and means, and we determine all of the geodesics on it. From this, we determine a criterion for convexity of functionals in the induced geometry. It turns out, for example, that the entropy is uniformly strictly convex on the constrained manifold, though not uniformly convex without the constraint. The problems solved here arose in a study of a variational approach to constructing and studying solutions of the non–linear kinetic Fokker–Planck equation, which is briefly described here and fully developed in a companion paper.